Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
91	PDF Document Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2004-10-08 18:46:07 Model theory Metalogic Modal logic Logic in computer science Admissible rule Curry–Howard correspondence Kripke semantics Interpretation Intermediate logic Logic Mathematical logic Propositional calculus
92	PDF Document Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2007-11-29 06:05:45 Philosophical logic Propositional calculus Metalogic Non-classical logic Admissible rule Unification Entailment Normal modal logic Model theory Logic Mathematical logic Modal logic
93	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:32:52 Proof theory Model theory Logic in computer science Automated theorem proving Metalogic Curry–Howard correspondence Natural deduction Admissible rule Sequent calculus Logic Mathematical logic Mathematics
94	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:36:39 Automated theorem proving Logic programming Unification Sheaf Admissible rule Lambda calculus Natural deduction Envelope Mathematical logic Mathematics Logic
95	PDF Document Add to Reading List Source URL: user.cs.tu-berlin.de Language: English - Date: 2010-12-03 06:37:32 Group theory Parity Parity of a permutation Permutations Model theory Admissible rule Term algebra Combinatory logic T1 Mathematics Mathematical logic Logic
96	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-25 06:00:04 Constraint programming Logic programming Propositional calculus Admissible rule Modal logic Substitution Symbol Natural deduction Logic Mathematical logic Software engineering
97	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-09-15 04:36:07 Mathematical logic Type system Unification Admissible rule Type inference Symbol Entailment Generic programming Hindley–Milner Type theory Logic Mathematics